maxt 相关硕士博士期刊学术论文 - 搜论网

maxt相关论文

基于扩展规则的启发式#SAT求解算法

#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解......

期刊

扩展规则模型计数启发式算法极大项空间规约子句 extension rule model counting heuristic strategy maxt

看过本文同时还关注